If <i> m </i> divides the order of a finite Abelian group <i>G </i>,
then <i>G </i>has a subgroup of order <i>m</i>.